Formalizing and checking web service discovery models using B.
نویسندگان
چکیده
منابع مشابه
Formalizing Web Service Choreographies
Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of reasoning mechanisms or tool support for checking the compatibility of Web services based on the proposed notations. In this paper we presen...
متن کاملImproving Web Service Discovery by Using Semantic Models
With the advent of service oriented architecture, Web services have gained tremendous popularity. This warrants the need to establish an effective and reliable process of Web service discovery. This paper presents a novel approach to enhance the accuracy of Web service discovery by finding semantically similar Web services for a user query using the support-based latent semantic kernel. The emp...
متن کاملSecuring Web Service Compositions: Formalizing Authorization Policies Using Event Calculus
Service composition is a fundamental technique for developing Web services based applications. As autonomous services are invoked through protocols, issues such as security must be taken into account. Thus, ensuring security in such a system is challenging and not supported by most of the security frameworks proposed in current literature. This paper presents a formal model for composing securi...
متن کاملFormalizing Web Service Choreographies 1 Antonio Brogi
Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of reasoning mechanisms or tool support for checking the compatibility of Web services based on the proposed notations. In this paper we presen...
متن کاملFormalizing Service Publication and Discovery in Grid Computing Systems
Considering the autonomy of resources in the grid environment and based on the service-oriented thought, a resource management system for grid computing can be abstracted to a multi-agent system that consists of service requestor agents, service provider agents and service broker agents. For looking into the interaction characteristics of agents, the formal method is adopted. Firstly, we presen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer Science and Cybernetics
سال: 2012
ISSN: 1813-9663,1813-9663
DOI: 10.15625/1813-9663/28/1/1068